<!-- Copyright 2018-2019 the Deno authors. All rights reserved. MIT license. -->
<!DOCTYPE html>
<html>
  <head>
    <title>Deno Manual</title>
    <link rel="shortcut icon" href="favicon.ico">
    <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/default.min.css">
    <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/github-gist.min.css">
    <link rel="stylesheet" media="(prefers-color-scheme: dark)" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/monokai-sublime.min.css">
    <script src="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/highlight.min.js"></script>
    <script src="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/languages/typescript.min.js"></script>
    <link rel="stylesheet" href="style.css" />
    <meta content="width=device-width, initial-scale=1.0" name="viewport" />
  </head>
  <body>
    <main>
      <a href="/"><img src="images/deno_logo_2.gif" width=200></a>
      <div id="manual"></div>

      <script src="https://unpkg.com/showdown@1.9.0/dist/showdown.js"></script>
      <script src="showdown_toc.js"></script>
      <script>
        const url = "manual.md";

        async function main() {
          const response = await fetch(url);
          const content = await response.text();

          let converter = new showdown.Converter({ extensions: ["toc"], tables: true });
          let html = converter.makeHtml(content);

          const manual = document.getElementById("manual");
          manual.innerHTML = html;

          // To make anchor links work properly, we have to manually scroll
          // since the markdown is rendered dynamically.
          if (window.location.hash) {
            let el = document.getElementById(window.location.hash.slice(1));
            window.scrollTo({ top: el.offsetTop });
          }

          // Disable automatic language detection
          hljs.configure({
            languages: [],
          });

          hljs.initHighlighting();
        }

        main();
      </script>
    </main>
  </body>
</html>
